INVESTIGATION OF CUTS SEPARATION ON NON-MECHANIZED BRAKING POSITIONS
نویسندگان
چکیده
منابع مشابه
On the separation of disjunctive cuts
Disjunctive cuts for Mixed-Integer Linear Programs have been introduced by Egon Balas in the late 70’s, and successfully exploited in practice since the late 90’s. In this paper we investigate the main ingredients of a disjunctive cut separation procedure, and analyze their impact on the quality of the root-node bound for a set of instances taken from MIPLIB library. We compare alternative norm...
متن کاملinvestigation of effective parameters on the rigidity of light composite diaphragms (psscb) by fem
در این رساله با معرفی سقف های psscb متشکل از ترکیب ورق های فولادی ذوزنقه ای و تخته های سیمانی الیافی به عنوان سقف های پیش ساخته (سازگار با سیستم سازه ای قاب های فولادی سبک) به بررسی پارامترهای موثر بر صلبیت سقف، پرداخته می شود. در تحقیق حاضر ابتدا به مدل سازی دو نمونه سقف آزمایش شده، به روش اجزاء محدود با استفاده از نرم افزار تحلیلی abaqus ver 6.10 پرداخته شده است. نمونه های ساخته شده تحت اعما...
Towards Mechanized Program Verification with Separation Logic
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap access and modification. Properties of separating conjunction and separating implication are mechanically verified and used to prove soundness and relative completeness of all three Hoare logics. The whole development, i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transport systems and transportation technologies
سال: 2016
ISSN: 2313-8688,2222-419X
DOI: 10.15802/tstt2016/76824